Basic research

Results: 2119



#Item
371

BRICS Basic Research in Computer Science BRICS RSAger et al.: From Interpreter to Compiler and Virtual Machine: A Functional Derivation From Interpreter to Compiler and

Add to Reading List

Source URL: www.brics.dk

- Date: 2003-04-07 09:02:51
    372

    BRICS Basic Research in Computer Science BRICS RSCamenisch & DamgËšard: Verifiable Encryption and Applications Verifiable Encryption and Applications to

    Add to Reading List

    Source URL: www.brics.dk

    - Date: 1999-01-11 19:55:50
      373

      BRICS Basic Research in Computer Science BRICS RSButz & Johnstone: Classifying Toposes for First Order Theories Classifying Toposes for

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 1997-09-05 05:13:18
        374

        BRICS Basic Research in Computer Science BRICS RSD. Varacca: The Powerdomain of Indexed Valuations

        Add to Reading List

        Source URL: www.brics.dk

        - Date: 2002-09-04 04:04:24
          375

          BRICS RS-08-4 Danvy & Millikin: Refunctionalization at Work BRICS Basic Research in Computer Science

          Add to Reading List

          Source URL: www.brics.dk

          - Date: 2008-06-27 04:24:44
            376

            BRICS Basic Research in Computer Science BRICS RSHavelund et al.: Formal Modeling and Analysis of an Audio/Video Protocol Formal Modeling and Analysis of

            Add to Reading List

            Source URL: www.brics.dk

            - Date: 1997-12-01 08:28:07
              377

              BRICS Basic Research in Computer Science BRICS DS-03-3 J. Srba: Decidability and Complexity Issues for Infinite-State Processes

              Add to Reading List

              Source URL: www.brics.dk

              - Date: 2004-03-29 03:17:00
                378

                BRICS RS-07-8 Danvy & Millikin: A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines BRICS Basic Research in Computer Science

                Add to Reading List

                Source URL: www.brics.dk

                - Date: 2007-03-26 18:16:53
                  379

                  BRICS Basic Research in Computer Science BRICS RSJ. Srba: Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds Strong Bisimilarity of

                  Add to Reading List

                  Source URL: www.brics.dk

                  - Date: 2002-06-07 04:10:57
                    380

                    BRICS Basic Research in Computer Science BRICS RSMiltersen et al.: On converting CNF to DNF On converting CNF to DNF

                    Add to Reading List

                    Source URL: www.brics.dk

                    - Date: 2004-01-31 02:31:00
                      UPDATE